Nuprl Definition : Rsframe 11,40
Rsframe(lnk; tag; L) == inr inr inr inr (inl <lnk, tag, L> )     
latex

Definitionsinr x , inl x , <a, b>
FDL editor aliasesRsframe, Rsframe

origin